Logika Krz: Negacja Koniunkcji